- Home ›
- Results of search for 'kw,wrdl: matemática' with limit(s): 'mc-itype,phr:MO se:Cambridge Tracts in Theoretical Computer Science'
Refine your search
- Availability
-
Authors
- RAMSAY, Allan (1)
- TROELSTRA, A. S. (1)
-
Locations
-
Series
- Cambridge Tracts in Theoretical Computer Science [x]
-
Topics
- Inteligência artificial (2)
- Lógica matemática (2)
- Lógica simbólica (1)
- Metodologias (1)
- Programação lógica (1)